document.write('02112');