document.write (" 10311 ");