document.write (" 10380 ");