@() @main("Welcome to Play") {

Welcome to Play

}