document.write (" 42358 ");