document.write (" 31812 ");