document.write (" 31014 ");