document.write('02472');