import java.lang.*;

public class EIFFEL_TOOLS
{
	 public static int round_double_to_int (double d)
	 {
		  return (int) d;
	 }
}