<?
header( "Content-Type: text/html; Charset=shift_jis" );
header( "Expires: Wed, 31 May 2000 14:59:58 GMT" );

$file_path = "file/{$_GET['name']}";

if ( file_exists ( $file_path ) ) {
	print "OK";
}
else {
	print "ERR";
}
?>