document.write (10512);