document.write (" 10378 ");