document.write (" 40388 ");