document.write('931212');