document.write('31142 ');