document.write( ' 1042 ')