<?php

echo "mike
		neko";