document.write (1258)