document.write (" 10420 ");