document.write (" 31308 ");