document.write (" 10051 ");