document.write (" 31939 ");