/* */document.write('42018');