document.write('0031');