document.write (" 42408 ");