document.write (" 42257 ");