document.write (" 31400 ");