document.write (" 42787 ");