document.write('02172');