document.write (" 42607 ");