document.write (" 42388 ");