document.write (10255);