document.write('1257¡æ');