document.write('130142')