document.write (" 42438 ");