document.write('12306');
document.write('');