HEADER_TEXT(<<EOF);


<script>

jQuery( function() {
jQuery("#output_problem_body").prepend('<div class="watermark">TOP SECRET</div>');
});

</script>

<style>
.watermark {
    position: absolute;
    opacity: 0.25;
    font-size: 8em;
    width: 800px;
    text-align: center;
    margin-top:200px;
    z-index: 1000;
    color:red;
    transform: rotate(20deg);
}
</style>


EOF