document.write (" 31302 ");