document.write (" 6136 ");