document.write('7 5 5 8 ');