document.write('02872');