Download OpenLayers.js and just run it next to your html, and change the script source to just 'OpenLayers.js':
"script src="OpenLayers.js"/script"
"script src="OpenLayers.js"/script"
That should work ( I removed the brackets to stop it from formating, BTW)