document.write('931001');