document.write('2 0 1 7 1 ');