document.write('.(1047)')