document.write('941200');