document.write (1238);