<?php

echo "E1:OK-";